Biblioteca da Universidade do Minho catalog › Results of search for 'Prentice-Hall series in computer science'

Your search returned 41 results.

		Micro-Prolog : programming in logic / K. L. Clark, F. G. McCabe ; colab. M. H. van Emden... [et al.] Monografia Publication Englewood Cliffs, N.J. : Prentice-Hall, cop. 1984 Description XI, 274 p. ; 21x30 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1). 1 2 3 4 5 Add to cart (remove)
		Introduction to functional programming using Haskell / Richard Bird Monografia Publication Harlow : Prentice Hall, cop. 1998 Description XII, 433 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (5). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer science : a mathematical introduction / Art Lew Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1985 Description XXVI, 421 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The logic of programming / Eric C. R. Hehner Monografia Publication Englewood Cliffs, N.J. : Prentice-Hall, cop. 1984 Description 361 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1). 1 2 3 4 5 Add to cart (remove)
		No cover image available Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson Monografia Publication Englewood Cliffs, New Jersey : Prentice-Hall, cop. 1985 Description 184 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1). 1 2 3 4 5 Add to cart (remove)
		Systematic software development using VDM / Cliff B. Jones Monografia Publication Englewood Cliffs, N.J. : Prentice-Hall International, cop. 1986 Description XVI, 300 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Real-time systems : specification, verification and analysis / ed. Mathai Joseph Monografia Publication London : Prentice Hall, cop. 1996 Description XIV, 278 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Communicating sequential processes / C. A. R. Hoare Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1985 Description 256 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to Pascal / Jim Welsh, John Elder Monografia Publication Englewood Cliffs : Prentice-Hall International, cop. 1979 Description XVIII, 282 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		The implementation of functional programming languages / Simon L. Peyton Jones ; colab. Philip Wadler... [et al.] Monografia Publication New York : Prentice Hall, 1987 Description XVIII, 445 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Communication and concurrency / Robin Milner Monografia Publication New York : Prentice-Hall, cop. 1989 Description XI, 260 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Systematic software development using VDM / Cliff B. Jones Monografia Publication New York : Prentice-Hall, cop. 1990 Description XIV, 333 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Distributed systems and computer networks / Morris Sloman, Jeff Kramer Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1987 Description XVI, 336 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer science : a modern introduction / Les Goldschlager, Andrew Lister Monografia Publication New York : Prentice-Hall, 1988 Description XIII, 330 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal specification and software development / Dines Bjorner, Cliff B. Jones ; colab. Derek Andrews... [et al.] Monografia Publication Englewood Cliffs : Prentice Hall, cop. 1982 Description X, 501 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematical theory of program correctness / Jaco de Bakker ; colab. Arie de Bruin, Jeffery Zucker Monografia Publication Englewood Cliffs, N.J. : Prentice Hall, cop. 1980 Description XVI, 505 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computational category theory / David E. Rydeheard, Rod M. Burstall Monografia Publication New York : Prentice Hall, 1988 Description XIV, 257 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies Monografia Publication London : Prentice Hall, 1996 Description XVI, 386 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Unifying theories of programming / C. A. R. Hoare and He Jifeng Monografia Publication London : Prentice Hall, 1998 Description XIX, 298 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Realtime systems / Nimal Nissanke Monografia Publication London : Prentice Hall, 1997 Description XV, 441 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)